SQType($T$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\forall$$x$:$T$, $y$:$T$. ($x$ = $y$ $\in$ $T$) $\Rightarrow$ \{$x$ $\sim$ $y$\}